((ENSCINT00000031402,ENSCINT00000004199),ENSCSAVT00000013170);